mini-os: export allocate_ondemand
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 18 Jul 2008 14:45:06 +0000 (15:45 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 18 Jul 2008 14:45:06 +0000 (15:45 +0100)
commitca28885fa775d60ad15575f58930c138141e682f
tree0f201418571543b344d64811c4550380bf35bb93
parent93a9aafe96ecb28c4271adb1e227a49c343f1574
mini-os: export allocate_ondemand

allocate_ondemand can be used to allocate addresse space. Primarily
used for mapping MFNs, it can also be used e.g. to map grant refs.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/arch/ia64/mm.c
extras/mini-os/arch/x86/mm.c
extras/mini-os/include/mm.h